Directed animals, quadratic and rewriting systems
نویسنده
چکیده
A directed animal is a percolation cluster in the directed site percolation model. The aim of this paper is to exhibit a strong relation between the problem of computing the generating function GF of directed animals on the square lattice, counted according to the area and the perimeter, and the problem of solving a system of quadratic equations involving unknown matrices. We present some solid evidence that some infinite explicit matrices, the fixed points of a rewriting like system are the natural solutions to this system of equations: some strong evidence is given that the problem of finding GF reduces to the problem of finding an eigenvector to an explicit infinite matrix. Similar properties are shown for other combinatorial questions concerning directed animals, and for different lattices. The author is partially supported by the ANR-08-BLAN-0190-04 A3.
منابع مشابه
Directed Animals, Quadratic Systems and Rewriting Systems
A directed animal is a percolation cluster in the directed site percolation model. The aim of this paper is to exhibit a strong relation between the problem of computing the generating function GF of directed animals on the square lattice, counted according to the area and the perimeter, and the problem of solving a system of quadratic equations involving unknown matrices. We present some solid...
متن کاملQuadratic normalisation in monoids
In the general context of presentations of monoids, we study normalisation processes that are determined by their restriction to length-two words. Garside’s greedy normal forms and quadratic convergent rewriting systems, in particular those associated with the plactic monoids, are typical examples. Having introduced a parameter, called the class and measuring the complexity of the normalisation...
متن کاملAugmenting Metaheuristics with Rewriting Systems
We describe the use of a rewriting system to determine equivalence classes over the search-space of optimisation problems. These equivalence classes may be used to derive redundant subsequences in the search-space for incorporation into metaheuristics such as backtracking, genetic algorithms and tabu-search. We use this approach as the basis for a new tabu-search variant — ‘EquationalTS’ and ap...
متن کاملQuadratic Stabilization of Nonlinear Discrete Time Control Systems with Uncontrollable Linearization
In this paper we study the problem of stabilization of nonlinear systems with uncontrollable linearization. The use of normal forms, permit to nd conditions on controllability and stabilizability. We remark that conditions on controllability and stabilizability are intimately related to a set of quadratic invariants.
متن کاملImplementing term rewriting by jungle evaluation
Jungles are acyclic hypergraphs which represent sets of terms such that common subterms can be shared. Term rewrite rules are translated into jungle evaluation rules which implement parallel term rewriting steps. By using additional hypergraph rules which “fold” equal subterms, even non-left-linear term rewriting systems can be implemented. As a side effect, these folding rules can speed up the...
متن کامل